From 298ec42fe70f6c45d36e05509b99b39ed088b2d9 Mon Sep 17 00:00:00 2001 From: "kaf24@firebug.cl.cam.ac.uk" Date: Mon, 28 Nov 2005 16:17:03 +0100 Subject: [PATCH] Remove bogus extra unmap_domain_page() call in free_monitor_pagetable(). Signed-off-by: Xin Li --- xen/arch/x86/shadow32.c | 2 -- xen/arch/x86/shadow_public.c | 2 -- 2 files changed, 4 deletions(-) diff --git a/xen/arch/x86/shadow32.c b/xen/arch/x86/shadow32.c index 8f0d88c38c..d6591f586a 100644 --- a/xen/arch/x86/shadow32.c +++ b/xen/arch/x86/shadow32.c @@ -796,8 +796,6 @@ void free_monitor_pagetable(struct vcpu *v) put_shadow_ref(mfn); } - unmap_domain_page(mpl2e); - /* * Then free monitor_table. */ diff --git a/xen/arch/x86/shadow_public.c b/xen/arch/x86/shadow_public.c index fbf6e025c0..c2f2afd9f3 100644 --- a/xen/arch/x86/shadow_public.c +++ b/xen/arch/x86/shadow_public.c @@ -390,8 +390,6 @@ void free_monitor_pagetable(struct vcpu *v) put_shadow_ref(mfn); } - unmap_domain_page(mpl2e); - /* * Then free monitor_table. */ -- 2.30.2